1. Automata and computability :
Author: Ganesh Lalitha Gopalakrishnan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control-- Data processing.,Digital control systems-- Programming.,Machine theory.,Automatic control-- Data processing.,COMPUTERS / General,COMPUTERS / Information Theory,Machine theory.,MATHEMATICS / General,TECHNOLOGY & ENGINEERING / Engineering (General)
Classification :
TJ223
.
M53
G663
2019
2. Computation engineering
Author: / Ganesh Gopalakrishnan., Gopalakrishnan, Ganesh.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science--Mathematics., Computer logic., Machine theory.
Classification :
QA
76
.
9
.
M35
G67
2006
3. Computation engineering
Author: / Ganesh Gopalakrishnan
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Computer logic.,Machine theory.
4. Computation engineering: applied automata theory and logic
Author: / Ganesh Gopalakrishnan
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
5. Computer Aided Verification
Author: / Ganesh Gopalakrishnan, Shaz Qadeer
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
6. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
Author: Ganesh Gopalakrishnan, Philip Windley )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
Classification :
QA
76
.
L28
Vol
.
1522
7. 20, 2011. Proceedings-Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14
Author: / Vijay Ganesh, Adam Kieun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
8. Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
Author: Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
3223
